Back ترجمة تفسيرية (علم المنطق) Arabic Interpretació (lògica) Catalan Interpretation (logic) English Interpretación (lógica) Spanish Tulkinta (logiikka) Finnish Interprétation (logique) French निर्वचन (तर्क) Hindi Értelmezés (logika) Hungarian Interpretazione (logica) Italian Interpretatie (logica) Dutch
Eine Interpretation (von lateinisch interpretatio ‚Auslegung, Erklärung, Deutung‘) im Sinn der Modelltheorie ist eine Struktur, die auf eine logische Formel bezogen wird. Unter der Interpretation kann die Formel dann wahr oder falsch sein.
Eine Interpretation, unter der eine Formel wahr ist, heißt Modell der Formel. Falls sie in jeder möglichen Interpretation wahr ist, nennt man sie allgemeingültig.